A Hilbert-style version of an implicational logic can be represented by a set of axiom schemes and modus ponens or by the corresponding axioms, modus ponens and substitution. Certain logics, for example the intuitionistic implicational logic, can also be represented by axioms and the rule of condensed detachment, which combines modus ponens with a minimal form of substitution. Such logics, for example intuitionistic implicational logic, are said to be D-complete. For certain weaker logics, the version based on condensed detachment and (...) axioms (the condensed version of the logic) is weaker than the original. In this paper we prove that the relevant logic T→, and any logic of which this is a sublogic, is D-complete. (shrink)

The literature fails to reflect general agreement over the nature of the services and procedures provided by bioethicists, and the training and core competencies this work requires. If bioethicists are to define their activities in a consistent way, it makes sense to look for common ground in shared communities of practice. We report results of a survey of the services and procedures among bioethicists affiliated with the University of Toronto Joint Centre for Bioethics (JCB). This is the largest group of (...) bioethicists working in healthcare organizations in Canada. The results suggest there are many common services and procedures of JCB bioethicists. This survey can serve as a baseline for further exploration of the work of JCB bioethicists. Common practices exist with respect to the domains of practice, individual reporting relationships, service availability within business hours and the education and training of the bioethicist. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

We argue that the geometry of spacetime is a convention that can be freely chosen by the scientist; no experiment can ever determine this geometry of spacetime, only the behavior of matter in space and time. General relativity is then rewritten in terms of an arbitrary conventional geometry of spacetime in which particle trajectories are determined by forces in that geometry, and the forces determined by fields produced by sources in that geometry. As an example, we consider radial trajectories in (...) the field of a single particle expressed in the spacetime of special relativity. (shrink)

A formal Ethics Consultation Service (ECS) can provide significant help to patients, families and hospital staff. As with any other form of clinical consultation, documentation of the process and the advice rendered is very important. Upon review of the published consult documentation practices of other ECSs, we judged that none of them were sufficiently detailed or structured to meet the needs and purposes of a clinical ethics consultation. Thus, we decided to share our method in order to advance the practice (...) of ethics consultation. Here, we describe a method of ECS documentation practice, including use of a formal consult report template, as well as a log for maintaining a chronological record of the consultations performed. These two documents facilitate order and organisation of the ECS. They also enable the ECS to keep an account of professional time and experience, enable quick consult trend assessments (by consult theme or ward, for example) and establish a potential registry of consults for future research study. This method of documentation, we believe, not only contributes significantly to the primary purpose of the consultation—namely, the evincing and sharing of ethical opinion about a case—but also enables consultants to improve their practice and to pursue research on clinical ethics consultation. (shrink)

We critically evaluate the ways in which competence in medical ethics has been evaluated. We report the initial stage in the development of a relevant, reliable and valid instrument to evaluate core critical thinking skills in medical ethics. This instrument can be used to evaluate the impact of medical ethics education programmes and to assess whether medical students have achieved a satisfactory level of performance of core skills and knowledge in medical ethics, within and across institutions.

R K Elliott; D. W. Hamlyn on Knowledge and the Beginnings of Understanding, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 109–116.

R K Elliott; D. W. Hamlyn on Knowledge and the Beginnings of Understanding, Journal of Philosophy of Education, Volume 14, Issue 1, 30 May 2006, Pages 109–116.

Awareness is a personal experience, which is only accessible to the rest of world through interpretation. We set out to identify a neural correlate of visual awareness, using brief subliminal and supraliminal verbal stimuli while measuring cerebral blood flow distribution with H215O PET. Awareness of visual verbal stimuli differentially activated medial parietal association cortex (precuneus), which is a polymodal sensory cortex, and dorsolateral prefrontal cortex, which is thought to be primarily executive. Our results suggest participation of these higher order perceptual (...) and executive cortical structures in visual verbal awareness. (shrink)